Assurance-driven development in Problem Oriented Engineering

نویسندگان

  • Jon G. Hall
  • Lucia Rapanotti
چکیده

Problem Oriented Engineering (POE) is a Gentzen-style ‘natural’ framework for engineering design. As such, POE supports rather than guides its user as to the particular sequence of design steps that will be used; the sequencing is user determined as that most appropriate to the context of application. In this paper, however, we suggest a sequencing of steps and interactions with stake-holders that is suitable for assurance-driven development, i.e., for developments in which the argument of fitness-for-purpose is produced during design.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Assurance-driven design in Problem Oriented Engineering∗

The design of assurance cases is hampered by the positand-prove approach to software and systems engineering; it has been observed that, traditionally, a product is produced and then evidence from the development is looked for to build an assurance case. Although post-hoc assured development is possible, it often results in errors being uncovered late—leading to costly redevelopment—or to syste...

متن کامل

Adaptive Voltage-based Control of Direct-drive Robots Driven by Permanent Magnet Synchronous Motors

Tracking control of the direct-drive robot manipulators in high-speed is a challenging problem. The Coriolis and centrifugal torques become dominant in the high-speed motion control. The dynamical model of the robotic system including the robot manipulator and actuators is highly nonlinear, heavily coupled, uncertain and computationally extensive in non-companion form. In order to overcome thes...

متن کامل

A Framework for Developing Cyber-Physical Systems

Cyber physical systems (CPSs) are pervasive in our daily life from mobile phones to auto driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual...

متن کامل

A Visual Development Environment for Jade ( Extended Abstract )

Agent-oriented software engineering (AOSE) aims on reducing the complexity of multiagent system (MAS) development. Jade is a famous framework for implementing MAS in Java. This paper proposes the model-driven development environment of the Domain Specific Modeling Language for Multiagent Systems (Dsml4mas) as a visual development environment for Jade. We focus especially on how the synchronizat...

متن کامل

Object-Oriented Software Engineering - a Use Case Driven Approach

object-oriented software engineering: a use case driven object oriented software engineering a use case driven object-oriented software engineering a use case driven a use-case driven approach to formal service-oriented ccis 17 a use-case driven approach to formal service object oriented software engineering ivar jacobson pdf process-oriented requirement analysis supporting the data a use case ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007